Knowledge, Proof and Dynamics by Unknown

Author:Unknown
Language: eng
Format: epub
ISBN: 9789811522215
Publisher: Springer Singapore

5.2.1 Construction of the Arena

The arena also consists of components of three kinds (existential, universal, and verification component). Starting from the existential component, the arena alternates between existential and universal components, until the verification component is reached. For the sake of convenience, we continue to use Example 4.8 for illustration in this section.

The arena for Example 4.8 is depicted in Fig. 5. Each of the wavy arrows in the verification component represents multiple outward arrows, the number of which equals the number of literals in each clause. Each of these arrows points to the variable vertex if is positive in l, and in if is negative in l. The complete arrows are omitted for the sake of neatness.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.